First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
431	[hal, v1] Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:05:43 Logic in computer science Unification First-order logic Combinatory logic Rewriting Model theory Axiom Mathematical proof Peano axioms Logic Mathematics Mathematical logic
432	Pattern Logics and Auxiliary Relations Diego Figueira Leonid Libkin University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-04 14:09:13 Mathematical logic Structure Finite model theory FO Kripke semantics String First-order logic Interpretation Theory Logic Model theory Mathematics
433	Line Leader Logic Puzzle Five kids are standing in line waiting for the ice cream shop to open. What is the order of the line? First Add to Reading List Source URL: cf.ltkcdn.net - Date: 2013-10-31 17:22:19
434	Partial Functions Approaches An Introduction to the Logic of Partial Functions Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Semantics Model theory Boolean algebra Formal methods Computability theory Interpretation Truth table First-order logic Vienna Development Method Mathematical logic Mathematics Logic
435	Static Analysis of XML Processing with Data Values∗ Luc Segoufin INRIA and Universit´e Paris 11 http://www-rocq.inria.fr/~segoufin 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-03-07 05:54:56 XPath Xpath data model Decision problem First-order logic Decidability Tree automaton XPath 2.0 XPath 1.0 Computing XML Web standards
436	A First-Order Theory of Communication Multi-Agent Plans: Appendix B Leora Morgenstern IBM Watson Labs Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-03-06 13:46:11 Logical consequence Logical syntax Metalogic S0 Logic Deduction Entailment
437	Indefinites Adrian Brasoveanu, Donka F. Farkas · UC Santa Cruz · abrsvn, 0.1 Introduction Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-29 14:26:28 Predicate logic Semantics Ontology Quantification Donkey sentence Singular they Definite description Determiner First-order logic Logic Linguistics Syntax
438	A research and education initiative at the MIT Sloan School of Management Description Logic Programs: Combining Logic Programs with Description Logic Add to Reading List Source URL: ebusiness.mit.edu Language: English - Date: 2012-11-08 09:59:20 Information science Non-classical logic Semantic Web Logic in computer science Artificial intelligence Description logic First-order logic Ontology Function Logic Mathematical logic Mathematics
439	1 Logic-based Formalisms for Statistical Relational Learning James Cussens Department of Computer Science & York Centre for Complex Systems Analysis Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2006-09-08 09:58:34 Bayesian statistics Predicate logic Philosophy of mathematics Non-classical logic Probabilistic logic Bayesian probability Markov logic network Probability interpretations First-order logic Logic Mathematics Mathematical logic
440	Open Multi-Agent Systems: Agent Communication and Integration Rogier M. van Eijk, Frank S. de Boer, Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1999-06-11 10:44:36 Universal algebra Model theory Logic programming Abstract algebra Arity Term Structure First-order logic Mathematics Mathematical logic Logic

UPDATE